Proving limit with definition